(set-logic ALL)
(set-info :status sat)
(declare-const a Real) 
(declare-const b Int) 
(assert (= (to_real b) (* a a)))
(check-sat)
